
\functions {
	int x1;
	int x2;
	int x3;
	int x4;
	int x5;
}

\problem {
	-5*x1 -2*x2 + x3 -x4 + x5 = 0
->
	9*x1 + 62*x2 -5*x3 -3*x4 + 101*x5 = 0
->
	56*x1 -34*x2 -11*x3 +67*x4 -98*x5 = 0
->
	\exists int c; x5 = c*2
}


